$\forall$$R$:Top. $\oplus$$x$$\in$nil.$R$($x$) $\sim$ $\cdot$